Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations

Profile-Guided Compiler Optimizations

Compiler Optimizations for Media Processors

In the design of embedded systems, programmable processors gain more and more importance due to their high flexibility and potential for reuse. As a consequence, compilers for embedded processors are required, capable of generating very fast and dense code. In particular, this concerns the area of computation-intensive multimedia applications. While domain-specific digital signal processors may...

Compiler Optimizations using Symbolic Abstraction

With increasing program complexity, a vital requirement for compilers is to produce efficient code with as few instructions as possible. This requires program analyses that are expressive enough to prove relevant program properties, but still effectively computable. In the last decades, a large variety of such program analyses has been developed. The better availability of computational power t...

Low Power/Energy Compiler Optimizations

Embedded processor and SoCs are used in many devices, ranging from pace makers, sensors, phones, and PDAs, to general-purpose handheld computers and laptops. Each of these devices has their own requirements for performance, power dissipation, and energy usage, and typically implements a particular tradeoff among these entities. Allowing components of these devices to be controlled by software h...

Interactive Composition of Compiler Optimizations

Conventional compilers provide limited external control over the optimizations they automatically apply to attain high performance. Consequently, these optimizations have become increasingly ineffective due to the difficulty of understanding the higher-level semantics of the user applications. This paper presents a framework that provides interactive fine-grained control of compiler optimizatio...